package monitori_di_hoare;

public interface ConditionP {
	public void Wait(int priority);

	public void Signal();
}// ConditionP
